1. Deontic logic and artificial normative systems
پدیدآورنده : / Lou Goble, John-Jules Ch. Meyer (eds.)
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Computer scienc--Congresses,Deontic logi--Congresses,Artificial normative system
رده :
E-BOOK
2. Deontic logic and artificial normative systems : 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006 : proceedings
پدیدآورنده : Lou Goble, John-Jules Ch. Meyer )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer science,Congresses ، Deontic logic
رده :
QA
76
.
L28
Vol
.
4048
3. Deontic logic in computer science
پدیدآورنده : Thomas Ågotnes, Jan Broersen, Dag Elgesem (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer logic, Congresses,Deontic logic, Congresses
رده :
QA75
.
5
.
I64
2011eb
4. Deontic logic in computer science. normative system specification /
پدیدآورنده : edited by John-Jules Ch. Meyer and Roel J. Wieringa
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Computer science- Congresses,، Deontic logic- Congresses
رده :
QA
75
.
5
.
D46
5. Deontic logic in computer science : 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004 : proceedings
پدیدآورنده : Alessio Lomuscio, Donald Nute )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer science,Congresses ، Deontic logic
رده :
QA
76
.
L28
Vol
.
3065
6. MICAI 2002 :
پدیدآورنده : Carlos A. Coello Coello [and others], (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence -- Congresses.,Artificial intelligence.
7. Reasoning web :
پدیدآورنده : Claudia d'Amato, Martin Theobald (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Semantic computing, Congresses.,Semantic Web, Congresses.,Artificial Intelligence.,Computer Appl. in Administrative Data Processing.,Data Mining and Knowledge Discovery.,Database Management.,Mathematical Logic and Formal Languages.,Artificial intelligence.,Computers-- Data Processing.,Computers-- Database Management-- Data Mining.,Computers-- Database Management-- General.,Computers-- Intelligence (AI) & Semantics.,Data mining.,Databases.,Mathematical theory of computation.,Mathematics-- Logic.,Public administration.,Semantic computing.,Semantic Web.
رده :
TK5105
.
88815
